-
1 формальная защита
-
2 формальная защита
adjlaw. defensa formal -
3 формальная защита
-
4 формальная модель политики безопасности
формальная модель политики безопасности
Математически строгое описание политики безопасности. Подразумевает описание начального состояния системы, способы перехода системы из одного состояния в другое, а также определение безопасного состояния. Чтобы быть принятой как основа ДВБ (TCB), модель должна содержать формальное доказательство следующих положений: начальное состояние системы является безопасным; если все условия безопасности, определяемые моделью, выполнены, то все последующие состояния системы также будут безопасными.
[http://www.rfcmd.ru/glossword/1.8/index.php?a=index&d=23]Тематики
EN
Русско-английский словарь нормативно-технической терминологии > формальная модель политики безопасности
-
5 defensa formal
-
6 formelle Verteidigung
Универсальный немецко-русский словарь > formelle Verteidigung
-
7 defensa formal
сущ. -
8 formal security policy model
формальная модель политики безопасности
Математически строгое описание политики безопасности. Подразумевает описание начального состояния системы, способы перехода системы из одного состояния в другое, а также определение безопасного состояния. Чтобы быть принятой как основа ДВБ (TCB), модель должна содержать формальное доказательство следующих положений: начальное состояние системы является безопасным; если все условия безопасности, определяемые моделью, выполнены, то все последующие состояния системы также будут безопасными.
[http://www.rfcmd.ru/glossword/1.8/index.php?a=index&d=23]Тематики
EN
Англо-русский словарь нормативно-технической терминологии > formal security policy model
-
9 pleading
ˈpli:dɪŋ
1. сущ.
1) юр. защита, выступление в роли адвоката Syn: advocacy, defence
2) мн.;
юр. а) заявления, подаваемые в суд (которыми неоднократно обмениваются стороны в ходе процесса) б) судебные прения, судоговорение ( формальная сторона судебного процесса)
3) юр. а) подача в суд заявления б) порядок оформления и подачи заявлений
4) ходатайство, заступничество;
прошение Syn: intercession, plea
5) мольба, прошение;
настойчивая просьба Syn: entreaty, supplication
2. прил. умоляющий, молящий;
просительный, жалобный (голос, тон, вид и т. п.) Syn: suppliant, entreating, beseeching, imploring (юридическое) выступление стороны или адвоката в суде( юридическое) pl судоговорение (юридическое) умение составлять бумаги и вести дело - special * защита при особых обстоятельствах дела;
предвзятая, односторонняя аргументация чаще pl (юридическое) состязательная бумага( юридическое) предварительное производство по делу заступничество, ходатайство мольба - the * of love призыв /голос/ любви умоляющий, просительный, просящий - * tone умоляющий тон alternative ~ альтернативное возражение по иску pleading pres. p. от plead ~ выступление адвоката в суде ~ заступничество, ходатайство;
мольба ~ защита ~ pl юр. заявления истца и ответчика;
судебные прения;
судебная процедура ~ обмен состязательными бумагами ~ пледирование, заявление оснований иска или защиты против иска ~ пледирование ~ предварительное производство по делу, обмен состязательными бумагами ~ предварительное производство по делу ~ состязательная бумага ~ умоляющий, просительный written ~ письменное ходатайствоБольшой англо-русский и русско-английский словарь > pleading
-
10 information model
информационная модель
Модель объекта, представленная в виде информации, описывающей существенные для данного рассмотрения параметры и переменные величины объекта, связи между ними, входы и выходы объекта и позволяющая путем подачи на модель информации об изменениях входных величин моделировать возможные состояния объекта.
[ ГОСТ 34.003-90]
информационная модель
1. Совокупность сигналов, несущих информацию об объекте управления и внешней среде, организованная по определенным правилам. Комбинации сигналов на мнемосхеме в кабинете директора, телевизионное изображение цеха, система математических формул и база данных, характеризующих экономические процессы на предприятии, общее представление руководителя о структуре предприятия — все это И.м. разных типов, предназначенные для различных задач, технических средств и методов управления. Словом, это вся сумма сведений, знаний об объекте управления, а также о задачах, которые предстоит решать, имеющихся у человека, принимающего решение. 2. Более узко: схема потоков информации, обращающейся в процессе управления объектом. Например, при создании АСУ формируется И.м. предприятия в виде графа, схемы, описывающей процедуры разработки плана и связи между ними (в том числе обратные связи). Это способствует упорядочению процессов управления, повышению гибкости информационных связей, оперативности и согласованности принятия решений на разных уровнях системы.
[ http://slovar-lopatnikov.ru/]Тематики
EN
информационная модель системы автоматизации подстанции
Модель системы автоматизации подстанции, представляющая функции и устройства подстанции, которые приобретают видимую и доступную форму.
[ ГОСТ Р 54325-2011 (IEC/TS 61850-2:2003)]EN
information model
knowledge concerning substation functions (devices) made visible and accessible through the means of the IEC 61850 series. The model describes in an abstract way a simplified representation of a real function or device
[IEC 61850-2, ed. 1.0 (2003-08)]Тематики
EN
3.2.21 информационная модель (information model): Формальная модель ограниченного набора фактов, понятий или инструкций, предназначенная для удовлетворения конкретному требованию;
Источник: ГОСТ Р ИСО 10303-1-99: Системы автоматизации производства и их интеграция. Представление данных об изделии и обмен этими данными. Часть 1. Общие представления и основополагающие принципы оригинал документа
4.37 информационная модель (information model): Формальная модель ограниченного набора фактов, понятий или инструкций, предназначенная для удовлетворения конкретному требованию.
Источник: ГОСТ Р 54136-2010: Системы промышленной автоматизации и интеграция. Руководство по применению стандартов, структура и словарь оригинал документа
Англо-русский словарь нормативно-технической терминологии > information model
-
11 pleading
['pliːdɪŋ] 1. сущ.1) юр. защита, выступление в роли адвокатаSyn:2) ( pleadings) юр.а) заявления, подаваемые в суд ( которыми неоднократно обмениваются стороны в ходе процесса)б) судебные прения, судоговорение ( формальная сторона судебного процесса)3) юр.б) порядок оформления и подачи заявлений4) ходатайство, заступничество; прошениеSyn:5) мольба, прошение; настойчивая просьбаSyn:2. прил.умоляющий, молящий; просительный, жалобный (голос, тон, вид)Syn: -
12 модель Белла-Лападула
модель Белла-Лападула
Формальная автоматная модель политики безопасности, описывающая множество правил управления доступом. В этой модели компоненты системы делятся на объекты и субъекты. Вводится понятие безопасного состояния и доказывается, что если каждый переход сохраняет безопасное состояние (то есть переводит систему из безопасного состояния в безопасное), то согласно принципу индукции система является безопасной. Состояние системы считается безопасным, если в соответствии с политикой безопасности субъектам разрешены только определенные типы доступа к объектам (в том числе отсутствие доступа).
Для определения, разрешен субъекту доступ к объекту или нет, его уровень прозрачности сравнивается с меткой объекта (уровнем безопасности объекта) и для запрашиваемого типа доступа принимается решение - разрешить доступ или нет.
Принятие решения осуществляется на основе двух правил: простого условия безопасности (simple security condition) и *свойства (*-property или star property). Простое условие безопасности разрешает доступ, если уровень прозрачности субъекта не ниже метки критичности объекта.
*- условие разрешает доступ, если:
- для чтения или выполнения текущий уровень субъекта не ниже метки критичности объекта;
- для записи или модификации текущий уровень субъекта не выше метки критичности объекта.
[http://www.rfcmd.ru/glossword/1.8/index.php?a=index&d=23]Тематики
EN
Русско-английский словарь нормативно-технической терминологии > модель Белла-Лападула
-
13 Bella-LaPadula model
модель Белла-Лападула
Формальная автоматная модель политики безопасности, описывающая множество правил управления доступом. В этой модели компоненты системы делятся на объекты и субъекты. Вводится понятие безопасного состояния и доказывается, что если каждый переход сохраняет безопасное состояние (то есть переводит систему из безопасного состояния в безопасное), то согласно принципу индукции система является безопасной. Состояние системы считается безопасным, если в соответствии с политикой безопасности субъектам разрешены только определенные типы доступа к объектам (в том числе отсутствие доступа).
Для определения, разрешен субъекту доступ к объекту или нет, его уровень прозрачности сравнивается с меткой объекта (уровнем безопасности объекта) и для запрашиваемого типа доступа принимается решение - разрешить доступ или нет.
Принятие решения осуществляется на основе двух правил: простого условия безопасности (simple security condition) и *свойства (*-property или star property). Простое условие безопасности разрешает доступ, если уровень прозрачности субъекта не ниже метки критичности объекта.
*- условие разрешает доступ, если:
- для чтения или выполнения текущий уровень субъекта не ниже метки критичности объекта;
- для записи или модификации текущий уровень субъекта не выше метки критичности объекта.
[http://www.rfcmd.ru/glossword/1.8/index.php?a=index&d=23]Тематики
EN
Англо-русский словарь нормативно-технической терминологии > Bella-LaPadula model
См. также в других словарях:
Защита — в уголовном суде, слагается из совокупности действий, имеющихцелью опровержение фактических и правовых оснований предъявленногопротив определенного лица обвинения. По распространенному средипредставителей науки уголовного процесса воззрению, она… … Энциклопедия Брокгауза и Ефрона
формальная модель политики безопасности — Математически строгое описание политики безопасности. Подразумевает описание начального состояния системы, способы перехода системы из одного состояния в другое, а также определение безопасного состояния. Чтобы быть принятой как основа ДВБ (TCB) … Справочник технического переводчика
Защита — в уголовном суде слагается из совокупности действий, имеющих целью опровержение фактических и правовых оснований предъявленного против определенного лица обвинения. По распространенному среди представителей науки уголовного процесса воззрению,… … Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона
Лоренц (национальный парк) — Лоренц [[Файл: |280px|Гора Пунчак Джая]] Гора Пунчак Джая … Википедия
Состязательный порядок — в уголовном процессе выражается в том, что сущность судебной процедуры слагается из взаимодействия суда, разрешающего уголовный иск, и сторон обвинителя и подсудимого, которым предоставляется право инициативы в представлении суду доказательств,… … Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона
НПА:Гражданский кодекс Российской Федерации:Часть четвертая — (в редакции, действующей по состоянию на 14.11.2013) Гражданский кодекс Российской Федерации ГАРАНТ Принят Государственной Думой 24 ноября 2006 года К:Гражданский кодекс Российской Федерации:Часть… … Бухгалтерская энциклопедия
Информационная — функция автоматизированной системы управления Функция АСУ, включающая получение информации, обработку и передачу информации персоналу АСУ или за пределы системы о состоянии ТОУ или внешней среды Источник … Словарь-справочник терминов нормативно-технической документации
Права человека — (Human rights) Понятие прав человека, конституционные права и свободы Информация о понятии прав человека, конституционные права и свободы Содержание Содержание Раздел 1. Становление и развитие правового статуса человека и гражданина в… … Энциклопедия инвестора
Гражданское судопроизводство — законный порядок судебной защиты гражданских прав личности. Защита этих прав, совершаемая помимо суда, самими заинтересованными лицами, является самоуправством (см.). Судебная защита, состоящая в укреплении и охранении прав в видах предупреждения … Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона
Гражданское судопроизводство — законный порядок судебной защиты гражданских прав личности. Защита этих прав, совершаемая помимо суда, самими заинтересованными лицами, является самоуправством (см.). Судебная защита, состоящая в укреплении и охранении прав в видах предупреждения … Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона
Приватизация — (Privatization) Понятие приватизации, способы и формы приватизации Понятие приватизации, способы и формы приватизации, методы приватизации Содержание Содержание 1. Понятие и разгосударствления Раздел 1. Понятие 2. Способы и формы приватизации… … Энциклопедия инвестора
